Real computation - PDFSEARCH.IO - Document Search Engine

Real computation
Results: 106

#	Item
11	PDF Document Add to Reading List Source URL: homepages.math.uic.edu Language: English - Date: 2016-01-08 10:48:49 Computability theory Theoretical computer science Theory of computation Mathematics Mathematical logic Turing machine Models of computation Computable number Alan Turing Computable function Definable real number Computability
12	Real Quantifier Elimination by Computation of Comprehensive Gr¨ obner Systems Ryoya Fukasaku1 Hidenao Iwane2 Add to Reading List Source URL: www.issac-symposium.org Language: English - Date: 2015-07-08 04:39:04
13	Using CIGAR for Finding Effective Group Behaviors in RTS Game Siming Liu, Sushil J. Louis and Monica Nicolescu Dept. of Computer Science and Engineering University of Nevada, Reno 1664 N. Virginia Street, Reno NV, 89557 Add to Reading List Source URL: eldar.mathstat.uoguelph.ca Language: English - Date: 2016-07-12 12:05:04 Windows games Blizzard games StarCraft Multiplayer online games Genetic algorithms Cigar Real-time strategy Randomness Chromosome Artificial neural network Evolutionary computation
14	RMIT University & IEEE Signal Processing & Computer Chapters Presentation Evolutionary Computation: Darwinian Thinking Solves Real-World Problems By Dr David Fogel, Natural Selection, Inc., USA Wednesday, 26th March 200 Add to Reading List Source URL: goanna.cs.rmit.edu.au Language: English - Date: 2015-06-29 06:44:53 Evolution Evolutionary computation Computational intelligence BioSystems David B. Fogel IEEE Transactions on Evolutionary Computation Evolutionary programming Lawrence J. Fogel Fogel IEEE Signal Processing Society Computer science
15	MATHEMATICSof computation VOLUME 41. NUMBER 163 JULY 1983, PAGESClass Groups of Complex Quadratic Fields By R. J. Schoof Add to Reading List Source URL: www.mat.uniroma2.it Language: English - Date: 2013-10-18 10:58:33 Algebraic number theory Quadratic forms Field theory Linear algebra Real algebraic geometry Quadratic field Discriminant Algebraic number field Factorization Field extension Elliptic curve
16	Real Growth in Standard Parts of Analysis∗ Ulrich Kohlenbach Fachbereich Mathematik J.W. Goethe Universit¨at Robert-Mayer-StrFrankfurt am Main, Germany Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2014-04-08 12:00:27 Computability theory Functions and mappings Recursion Theory of computation Proof theory Primitive recursive function Continuous function Elementary function arithmetic Arithmetic function
17	Applied Mathematics and Computation±124 www.elsevier.nl/locate/amc On the approximation of real rational functions via mixed-integer linear programming Add to Reading List Source URL: www.papamarkos.gr Language: English - Date: 2007-11-23 04:15:54
18	Semidefinite Programming Characterization and Computation of Real Radical Ideals MEGA 2011 Monique Laurent, CWI, Amsterdam & Tilburg University Joint work with Jean Lasserre, LAAS-CNRS Toulouse Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2011-05-30 14:43:09
19	Staged Self-Assembly: Nanomanufacture of Arbitrary Shapes with O(1) Glues Add to Reading List Source URL: www.eecs.tufts.edu Language: English - Date: 2007-06-11 16:33:36 Theory of computation Construction Real estate Mosaic Building materials Floors Bin Time complexity L Tile DNA nanotechnology
20	Computability Theory, Reverse Mathematics, and Ordered Fields Oscar Louis Levin, Ph.D. University of Connecticut, 2009 Add to Reading List Source URL: www.math.uconn.edu Language: English - Date: 2009-04-27 16:38:49 Field theory Computability theory Real algebraic geometry Theory of computation Elementary mathematics Ordered field Computable function Field Archimedean property Function Real number Reverse mathematics